x^3 + x^2 ≤ 4x + 4